Définition : La forme bilinéaire \(\sigma\) est dite non dégénérée si $$\ker\sigma=\{0_E\}$$ (Noyau - Espace nul (algèbre bilinéaire))
